Technique for designing a domain ontology

1, , , k m m Card R   – конечное множество семантически значимых отношений между концептами ПдО. Они определяют тип взаимодействия между понятиями. В общем случае, отношения делят на общезначимые (из которых выделяют, как правило, отношения частичного порядка) и конкретные отношения заданной ПдО; R X F  : – конечное множество функций интерпретации, заданных на концептах и/или отношениях. Частным случаем задания множества функций интерпретации F является глоссарий, составленный для множества понятий Х. Определение понятия Хi , в общем случае, включает подмножество понятий{xi-1}, через которые определяется Хi; отношение